const benchmarks = {
  test: {
    names: ["GFand", "Uright"],
    folderList: ["Patterns/GFand", "Patterns/Uright"],
  },
  sm1000: {
    names: ["bench1", "bench2"],
    folderList: ["correct_bench1", "bench2"],
  },
  VMCAI24: {
    names: [
      "GFand",
      "Uright",
      "case_03",
      "case_04",
      "case_05",
      "case_06",
      "case_07",
      "case_08",
      "case_09",
      "case_10",
      "syft_1",
      "syft_2",
      "syft_3",
      "syft_4",
      "syft_5",
      "Single-Counter",
      "Double-Counter",
      "nim_1",
      "nim_2",
      "t1",
      "t2",
      "t3",
      "t4",
      "t5",
      "t6",
      "t7",
      "t8",
      "t9",
    ],
    folderList: [
      "Patterns/GFand",
      "Patterns/Uright",
      "Random/Lydia/case_03_50",
      "Random/Lydia/case_04_50",
      "Random/Lydia/case_05_50",
      "Random/Lydia/case_06_50",
      "Random/Lydia/case_07_50",
      "Random/Lydia/case_08_50",
      "Random/Lydia/case_09_50",
      "Random/Lydia/case_10_50",
      "Random/Syft/syft_1",
      "Random/Syft/syft_2",
      "Random/Syft/syft_3",
      "Random/Syft/syft_4",
      "Random/Syft/syft_5",
      "Two-player-Game/Single-Counter/System-first",
      "Two-player-Game/Double-Counter/System-first",
      "tree_size/tree_size_1",
      "tree_size/tree_size_2",
      "tree_size/tree_size_3",
      "tree_size/tree_size_4",
      "tree_size/tree_size_5",
      "tree_size/tree_size_6",
      "tree_size/tree_size_7",
      "tree_size/tree_size_8",
      "tree_size/tree_size_9",
    ],
  },
  syntcomp23: {
    names: [
      "GFand",
      "Uright",
      "syft_1",
      "syft_2",
      "syft_3",
      "syft_4",
      "syft_5",
      "case_03",
      "case_04",
      "case_05",
      "case_06",
      "case_07",
      "case_08",
      "case_09",
      "case_10",
      "Single-Counter",
      "Double-Counter",
      "nim_01",
      "nim_02",
      "nim_03",
      "nim_04",
      "nim_05",
      "nim_06",
      "nim_07",
      "nim_08",
      "nim_09",
      "nim_10",
      "nim_11",
      "nim_12",
      "nim_13",
      "nim_14",
      "nim_15",
      "nim_16",
      "nim_17",
      "nim_18",
      "nim_19",
      "nim_20",
      "t1",
      "t2",
      "t3",
      "t4",
      "t5",
      "t6",
      "t7",
      "t8",
      "t9",
    ],
    folderList: [
      "Patterns/GFand",
      "Patterns/Uright",
      "Random/Syft/syft_1",
      "Random/Syft/syft_2",
      "Random/Syft/syft_3",
      "Random/Syft/syft_4",
      "Random/Syft/syft_5",
      "Random/Lydia/case_03_50",
      "Random/Lydia/case_04_50",
      "Random/Lydia/case_05_50",
      "Random/Lydia/case_06_50",
      "Random/Lydia/case_07_50",
      "Random/Lydia/case_08_50",
      "Random/Lydia/case_09_50",
      "Random/Lydia/case_10_50",
      "Two-player-Game/Single-Counter/System-first",
      "Two-player-Game/Double-Counter/System-first",
      "Two-player-Game/Nim/nim_01/System-first",
      "Two-player-Game/Nim/nim_02/System-first",
      "Two-player-Game/Nim/nim_03/System-first",
      "Two-player-Game/Nim/nim_04/System-first",
      "Two-player-Game/Nim/nim_05/System-first",
      "Two-player-Game/Nim/nim_06/System-first",
      "Two-player-Game/Nim/nim_07/System-first",
      "Two-player-Game/Nim/nim_08/System-first",
      "Two-player-Game/Nim/nim_09/System-first",
      "Two-player-Game/Nim/nim_10/System-first",
      "Two-player-Game/Nim/nim_11/System-first",
      "Two-player-Game/Nim/nim_12/System-first",
      "Two-player-Game/Nim/nim_13/System-first",
      "Two-player-Game/Nim/nim_14/System-first",
      "Two-player-Game/Nim/nim_15/System-first",
      "Two-player-Game/Nim/nim_16/System-first",
      "Two-player-Game/Nim/nim_17/System-first",
      "Two-player-Game/Nim/nim_18/System-first",
      "Two-player-Game/Nim/nim_19/System-first",
      "Two-player-Game/Nim/nim_20/System-first",
      "Ascending/tree_size_1",
      "Ascending/tree_size_2",
      "Ascending/tree_size_3",
      "Ascending/tree_size_4",
      "Ascending/tree_size_5",
      "Ascending/tree_size_6",
      "Ascending/tree_size_7",
      "Ascending/tree_size_8",
      "Ascending/tree_size_9",
    ],
  },
};

module.exports = benchmarks;
